Elements of programming linguistics. Part I, The lambda calculus and its implementation
Bookreader Item Preview
Share or Embed This Item
texts
Elements of programming linguistics. Part I, The lambda calculus and its implementation
- Publication date
- 1981-19
- Topics
- NAVAL POSTGRADUATE SCHOOL (U.S.)--RESEARCH., NAVAL POSTGRADUATE SCHOOL (U.S.)--FACULTY--BIBLIOGRAPHY., NAVAL POSTGRADUATE SCHOOL (U.S.)
- Publisher
- Monterey, California : Naval Postgraduate School
- Collection
- navalpostgraduateschoollibrary; fedlink; americana
- Contributor
- Naval Postgraduate School, Dudley Knox Library
- Language
- en_US
Cover title
"NPS-52-81-012."
"Prepared for: Naval Postgraduate School, Monterey, California 93943." -- Cover
"1981."
Technical report; 1981
The lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)
"NPS-52-81-012."
"Prepared for: Naval Postgraduate School, Monterey, California 93943." -- Cover
"1981."
Technical report; 1981
The lambda calculus is used as an introduction to programming language concepts, particularly the concepts of functional programming. Both interpreted and compiled implementations of an extended lambda calculus are discussed. They can be adopted to implementations of Pascal and Lisp. It is shown that traditional stack-based run-time structures can be directly derived from the reduction rules of the lambda calculus. (Author)
Notes
some content may be lost due to the binding of the book.
- Addeddate
- 2013-01-25 23:43:18
- Associated-names
- Naval Postgraduate School (U.S.)
- Call number
- ocm77747800
- Camera
- Canon EOS 5D Mark II
- Contributor.corporate
- Naval Postgraduate School (U.S.)
- Description.sponsorship
- Prepared for: Naval Postgraduate School, Monterey, California 93943. -- Cover.
- External-identifier
-
urn:handle:10945/28926
urn:oclc:record:1044268761
- Foldoutcount
- 0
- Format.extent
- 92 p. : ill. ; 28 cm.
- Identifier
- elementsofprogra00macl
- Identifier-ark
- ark:/13960/t0wq19894
- Identifier.npsreport
- NPS-52-81-012
- Identifier.oclc
- ocm77747800
- Ocr_converted
- abbyy-to-hocr 1.1.37
- Ocr_module_version
- 0.0.21
- Openlibrary_edition
- OL33160403M
- Openlibrary_work
- OL24946334W
- Page-progression
- lr
- Page_number_confidence
- 0
- Page_number_module_version
- 1.0.3
- Pages
- 100
- Ppi
- 350
- Republisher_date
- 20130128211952
- Republisher_operator
- associate-karina-martinez@archive.org
- Scandate
- 20130128171846
- Scanner
- scribe2.sanfrancisco.archive.org
- Scanningcenter
- sanfrancisco
- Type
- Technical Report
- Full catalog record
- MARCXML
comment
Reviews
There are no reviews yet. Be the first one to
write a review.
773 Views
3 Favorites
DOWNLOAD OPTIONS
For users with print-disabilities
IN COLLECTIONS
Naval Postgraduate School FEDLINK - United States Federal Collection American LibrariesUploaded by Jacob-QA on